1. Advances in computers.
Author: edited by Marshall C. Yovits.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computers.,Electronic data processing.,ARCHITECTURE (COMPUTERS),COMPUTER INFORMATION SECURITY.,COMPUTER NETWORKS.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.,COMPUTERS.,DATA PROCESSING.,DESIGN ANALYSIS.,Electronic data processing.,MAN-COMPUTER INTERFACE.,PROTOCOL (COMPUTERS),U.S.S.R., 7
Classification :
QA76
.
A3eb
vol
.
29
2. An Integrated Approach to Software Engineering
Author: by Pankaj Jalote.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Software engineering.
3. Computational artifacts :
Author: Raymond Turner.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Philosophy.,Computer science-- Philosophy.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
Classification :
QA76
.
167
4. Dependable Computing for Critical Applications 2
Author: edited by John F. Meyer, Richard D. Schlichting.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Electronic data processing.,Software engineering.
Classification :
QA76
.
9
.
F38
E358
1992
5. Engineering high quality medical software :
Author: Antonio Coronato.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Medical care-- Information technology.,Medical informatics.,Medicine-- Computer programs.,Medicine-- Data processing.,Computing Methodologies.,Medical Informatics-- standards.,Software Design.,certification.,HEALTH & FITNESS-- Holism.,HEALTH & FITNESS-- Reference.,MEDICAL-- Alternative Medicine.,MEDICAL-- Atlases.,medical computing.,MEDICAL-- Essays.,MEDICAL-- Family & General Practice.,MEDICAL-- Holistic Medicine.,Medical informatics.,MEDICAL-- Osteopathy.,Medicine-- Computer programs.,Medicine-- Data processing.,software quality.,standards.
Classification :
R858
.
C67
2018eb
6. Excel 2007 for project managers /
Author: Kim Heldman, William Heldman.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Microsoft Excel (Computer file),Microsoft Excel (Computer file),Business-- Computer programs, Handbooks, manuals, etc.,Electronic spreadsheets, Handbooks, manuals, etc.,Business-- Computer programs.,Electronic spreadsheets.
Classification :
HF5548
.
4
.
M523
H455
2007
7. Formal Methods for Open Object-based Distributed Systems V Ifip Tc6
Author: Wg6.1 Fifth International Conference on Formal Methods for Open Object-based Distributed Systems (Fmoods 2002) March 20-22, 2002, Enschede.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
TK7895
.
M5
W445
2013
8. Guidance for the Verification and Validation of Neural Networks
Author: Laura L.Pullum,Brian J.Taylor ,Majorie A.Darrah
Library: Central Library Yasuj University (Kohgiluye va Buyer ahmad)
Subject: Neural networks (Computer Science),Computer programs -- Validation,computer programs -- Verfication
Classification :
006
,.
3222
,
P84
,
2007
9. Guidance for the verification and validation of neural networks
Author: Pullum, Laura L.
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Neural networks (Computer science) ► Computer programs- Validation ► Computer programs- Verification
Classification :
006
P982g
10. Guidance for the verification and validation of neural networks /
Author: Laura L. Pullum, Brian J. Taylor, Majorie A. Darrah.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programs-- Validation.,Computer programs-- Verification.,Neural networks (Computer science)
Classification :
QA76
.
87
.
P85
2007
11. IEEE standard for software and system test documentation /
Author: sponsor, Software & Systems Engineering Standards Committee of the IEEE Computer Society.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programs-- Testing-- Standards.,Electronic data processing documentation-- Standards.,Technical writing-- Standards.,Computer programs-- Testing-- Standards.,Electronic data processing documentation-- Standards.,Technical writing-- Standards.
Classification :
QA76
.
9
.
D6
I433
2008eb
12. Knowledge-based software engineering :
Author: edited by Maria Virvou and Taichi Nakamura.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Expert systems (Computer science), Congresses.,Software engineering, Congresses.,COMPUTERS-- Expert Systems.,Expert systems (Computer science),Software engineering.
Classification :
QA76
.
76
.
E95
J65
2008eb
13. Languages, design methods, and tools for electronic system design :
Author: Daniel Große, Sara Vinco, Hiren Patel, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer-aided design, Congresses.,Electronic circuit design-- Data processing, Congresses.,Computer-aided design.,Electronic circuit design-- Data processing.,TECHNOLOGY & ENGINEERING-- Mechanical.
Classification :
TK7867
14. Modeling and simulation in manufacturing and defense systems acquisition :
Author: Committee on Modeling and Simulation Enhancements for 21st Century Manufacturing and Acquisition, Board on Manufacturing and Engineering Design, Division on Engineering and Physical Sciences, National Research Council.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: BUSINESS & ECONOMICS-- Industries-- Service.,United States-- Armed Forces-- Weapon systems-- Computer simulation.,United States, Armed Forces, Procurement, Computer simulation.,United States, Armed Forces, Weapons systems, Computer simulation.,United States, Armed Forces, Procurement, Computer simulation.,United States., 0, 0, 7, 7
Classification :
TC57
.
62
.
M63
2002eb
15. Proceedings of the International Conference on Artificial Neural Networks :
Author: ICANN '93. Ed. by Stan Gielen ...
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
16. Program construction and verification
Author: Roland C. Backhouse
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Computer programs,Computer programs- Validation
Classification :
QA
،
76
,.
754
،.
P7
,
B28
،
1986
17. Reliable software technologies, Ada-Europe '96 :
Author: Alfred Strohmeier, ed.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Ada (Computer program language),Ada (Computer program language) -- Congresses.,Computer software -- Reliability -- Congresses.
Classification :
QA76
.
73
.
A16
A447
1996
18. Software Engineering with Computational Intelligence
Author: edited by Taghi M. Khoshgoftaar.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Software engineering.
19. Software verification and validation for practitioners and managers /
Author: Steven R. Rakitin.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Validation.,Computer software-- Verification.,COMPUTER PROGRAMS.,Computer software-- Validation.,Computer software-- Verification.,PROGRAM VERIFICATION (COMPUTERS),Qualitätskontrolle,SOFTWARE RELIABILITY.,Software.
Classification :
QA76
.
76
.
V47
R35
2001
20. Softwore verification and validation; fealistic project approaches
Author: Deutsch, Michael
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Computer programs- Verification ► Computer programs- Validation
Classification :
005
D486s
